perm filename PROVER.PRM[1,JRA] blob
sn#005838 filedate 1972-08-25 generic text, type T, neo UTF8
NIL
(LAP SUBS2T SUBR)
(CAME 1 2)(JRST 0 TAG7A)(MOVE 1 3)(POPJ P 0) TAG7A
(PUSH P 1)
(PUSH P 2)
(PUSH P 3)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(HRRZ 1 0 3)
(PUSH P 1)
(JRST 0 TAG2)
TAG1 (HLRZ@ 1 0 P)
(HRRZ@ 1 1)
(MOVEM 1 -1 P)
(CALL 1 (E NUMBERP))
(JUMPE 1 TAG11)
(MOVE 1 -3 P)
(CAME 1 -1 P)
(JRST 0 TAG13)
(HLRZ@ 1 0 P)
(MOVE 2 -4 P)
(HRRM@ 2 1)
TAG13 (JRST 0 TAG10)
TAG11 (HRRZ@ 1 -1 P)
(JUMPE 1 TAG10)
(HLRZ@ 1 0 P)
(MOVE 3 -1 P)
(MOVE 2 -3 P)
(PUSH P 1)
(MOVE 1 -5 P)
(CALL 3 (E S2))
(HRRM@ 1 0 P)
(SUB P (C 0 0 1 1))
TAG10 (HRRZ@ 1 0 P)
(MOVEM 1 0 P)
TAG2 (MOVE 1 0 P)
(JUMPN 1 TAG1)
(PUSH P -3 P)
(PUSH P -3 P)
(MOVE 1 -6 P)
(CALL 1 (E NUMBERP))
(JUMPN 1 TAG22)
(HRRZ@ 1 -6 P)
(JUMPN 1 TAG20)
TAG22 (MOVE 2 -6 P)
(JRST 0 TAG17)
TAG20 (MOVE 1 -6 P)
(CALL 1 (E COPY))
(MOVE 2 1)
TAG17 (MOVE 1 -1 P)
(CALL 2 (E CONS))
(HRRZ@ 2 -4 P)
(CALL 2 (E CONS))
(HRRM@ 1 0 P)
(SUB P (C 0 0 2 2))
(MOVE 1 -2 P)
TAG3 (SUB P (C 0 0 5 5))
(POPJ P)
NIL
(LAP SEARCH2 SUBR)
(PUSH P 3)
(CALL 2(E ASSOC))
(JUMPE 1 FOO1)
(HRRZ 1 0 1)
(SUB P (C 0 0 1 1))
(POPJ P 0)
FOO1 (POP P 1)
(POPJ P 0)
NIL
(LAP SUBS3T SUBR)(HLRZ 3 0 2)(CAME 3(SPECIAL ESCAPE))(JCALL 2(E SUBS3T*))
(HRRZ 2 0 2)(CALL 2(E SUBS3T*))(MOVE 2 (SPECIAL ESCAPE))(JCALL 2(E XCONS))
NIL
(LAP SUBS3T* SUBR)
(JUMPN 1 TAG7)(MOVE 1 2)(POPJ P 0) TAG7
(PUSH P 1)
(PUSH P 2)
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(PUSH P (C 0 0 (QUOTE NIL) 0))
(MOVE 1 -5 P)
(MOVEM 1 0 P)
(HLRZ@ 1 1)
TAG11(CALL 1(E NCONS))(MOVEM 1 -1 P)(MOVEM 1 -2 P)
(JRST 0 TAG2)
TAG1
(CALL 1 (E NCONS))
(HRRM@ 1 -2 P)
(MOVEM 1 -2 P)
TAG2 (HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(HLRZ@ 1 1)
(MOVEM 1 -4 P)
(MOVE 1 0 P)
(JUMPN 1 TAG14)
(MOVE 1 -1 P)
(JRST 0 TAG3)
TAG14 (MOVE 1 -4 P)
(CALL 1 (E NUMBERP))
(JUMPE 1 TAG15)
(MOVE 3 -4 P)
(MOVE 2 -6 P)
(MOVE 1 3)
(CALL 3 (E SEARCH2))
(JRST 0 TAG1)
TAG15 (HRRZ@ 1 -4 P)
(JUMPN 1 TAG16)
(MOVE 1 -4 P)
(JRST 0 TAG1)
TAG16 (MOVE 2 -4 P)
(MOVE 1 -6 P)
(CALL 2 (E SUBS3T*))
(JRST 0 TAG1)
TAG17 (MOVEI 1 (QUOTE NIL))
TAG3 (SUB P (C 0 0 7 7))
(POPJ P)
NIL